Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
581	Theory and Applications of Categories, Vol. 16, No. 19, 2006, pp. 522–528. NUMEROLOGY IN TOPOI PETER FREYD Abstract. This paper studies numerals (see deﬁnition that immediately follows), natural numbers objects and, Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2006-08-30 12:49:32 Algebraic structures Category theory Sheaf theory Topos Binary operations Functor Sheaf Natural number object Monoid Abstract algebra Algebra Mathematics
582	Draft version November 28, 2011 Preprint typeset using LATEX style emulateapj v[removed]THE FLAT TRANSMISSION SPECTRUM OF THE SUPER-EARTH GJ1214B FROM WIDE FIELD CAMERA 3 ON THE HUBBLE SPACE TELESCOPE ´sert1 , Eliza M Add to Reading List Source URL: arxiv.org Language: English - Date: 2011-11-27 20:10:09 Spaceflight Space telescopes Wide Field Camera 3 Infrared Space Telescope Science Institute Near Infrared Camera and Multi-Object Spectrometer Limb darkening Estimation theory Star Hubble Space Telescope Spacecraft Electromagnetic radiation
583	Microsoft Word - Reagan Briefing A4.doc Add to Reading List Source URL: ovnis-usa.com Language: English - Date: 2011-04-30 11:06:57 Majestic 12 Roswell UFO incident Unidentified flying object Okay 9 Fringe theory Conspiracy theories Paranormal Document forgery
584	MODUL PLPG BAHASA INGGRIS KONSORSIUM SERTIFIKASI GURU dan Add to Reading List Source URL: psg15.um.ac.id Language: English - Date: 2013-08-06 21:28:51 Language education Pedagogy Language pedagogy E-learning Language acquisition Reading Learning object English as a foreign or second language Learning theory Education Applied linguistics Educational psychology
585	Two-dimensional locally cartesian closed categories Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2008-02-19 05:44:32 Sheaf theory Functors Cartesian closed category Lambda calculus Natural transformation Exponential object Adjoint functors Groupoid Yoneda lemma Category theory Abstract algebra Mathematics
586	CLASE 2005 Preliminary Version A Constructive Modeling Language for Object Oriented Information Systems Mario Ornaghi a,1 Marco Benini b Mauro Ferrari b Camillo Fiorentini a Alberto Momigliano a Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-25 11:01:54 Object-oriented programming Control flow Foreach loop Immutable object Objective-C Object Model theory Function Interpretation Software engineering Computing Computer programming
587	Natural frequency analysis of Modelica powertrain models Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2012-07-23 14:31:28 Simulation software Object-oriented programming Modelica Ordinary differential equations Dymola Damping Eigenvalues and eigenvectors State space Vibration Algebra Control theory Mathematics
588	Published in ECOOP ‘91 proceedings, Springer Verlag Lecture Notes in Computer Science 512, July, [removed]Optimizing Dynamically-Typed Object-Oriented Languages WithPolymorphic Inline Caches Urs Hölzle Add to Reading List Source URL: www.cs.ucsb.edu Language: English - Date: 1997-05-21 13:38:06 Type theory Compiler optimizations Programming language implementation Cross-platform software Object-oriented programming Inline caching Smalltalk Inline expansion Just-in-time compilation Software engineering Computing Computer programming
589	SUNlite Shedding some light on UFOlogy and UFOs Volume 6 Number 3 Add to Reading List Source URL: home.comcast.net Language: English - Date: 2014-05-05 20:10:06 Pseudoscience Unidentified flying object Majestic 12 Roswell UFO incident Mutual UFO Network Bruce Maccabee UFO conspiracy theory Ufology Conspiracy theories Paranormal
590	Snapshot Generation in a Constructive Object-Oriented Modeling Language Mauro Ferrari1 , Camillo Fiorentini2, Alberto Momigliano2, and Mario Ornaghi2 1 Dipartimento di Informatica e Comunicazione, Universit`a degli Stud Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-01-14 10:30:30 T1 Computing Programming language theory ALGOL 68 Software engineering

UPDATE